GHC 9.14.1-Alpha1
blog.haskell.org·6h·
Discuss: Hacker News
🏛️Agda
🚀 Introducing ml_transformer: A Pure Dart ML/NN Library 🎉
dev.to·11h·
Discuss: DEV
🎙️Whisper
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·4h
🎯Performance Proofs
Compiling Dinner
gist.github.com·17h·
Discuss: Hacker News
🔨Compilers
Mojo Roadmap Document
docs.modular.com·9h·
Discuss: Hacker News
💻Programming languages
Challenging LR Parsing (2020)
rust-analyzer.github.io·1h·
Discuss: Lobsters
🦀Rust Macros
Song recommendations with F# free monads
blog.ploeh.dk·4d
λLambda Formalization
Chicken Scheme internals: the garbage collector
more-magic.net·4h·
Discuss: Hacker News
🧠Separation Logic
Elephants for breakfast
bitfieldconsulting.com·8h
🦀Rust Macros
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·1d
🔧Binary Parsers
Condor’s Cuzco RISC-V Core at Hot Chips 2025
chipsandcheese.com·1h
⚙️Modern Assembly
Coffi – Foreign function interface library for Clojure
github.com·1h·
Discuss: Hacker News
🧠Lisp Dialects
Antonio Cuni: Porting the JIT to CLI (part 1)
antocuni.eu·7h
📏Code Metrics
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·5d
🦀Rust Macros
Measuring Reasoning Utility in LLMs via Conditional Entropy Reduction
arxiv.org·15h
🧠Intelligence Compression
Status Update: August 2025
joshleeb.com·1d
🧩WASM Components
Dependent types I › Universes, or types of types
jonmsterling.com·2d·
Discuss: Hacker News
🔤Type Theory
What is a large language model?
proton.me·3h
💻Local LLMs
Typeclassopedia
wiki.haskell.org·4d·
Discuss: Hacker News
🧬Functional Programming
dynify now has a macro for heapless async traits
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros